%There is a latex problem with latex files that are utf8-encoded with
%8-bit Characters: the utf8 character for \times and other characters
%are not recognised by latex. Therefore, one needs 
%\DeclareUnicodeCharacter{00D7}{\times} which will tell latex to
%interpret the  utf8 character for \times as "\times". The problem is
%that I cannot have the \DeclareUnicodeCharacter in the latex file
%directly because xemacs will "smartly" replace "\times" with the 
%utf8 character for \times, which means that \DeclareUnicodeCharacter
%becomes a circular definition. 
%To solve the problem, I include the present file, which is is
%utf8-encoded but with 7-bit Characters

\DeclareUnicodeCharacter{00AC}{\lnot}
\DeclareUnicodeCharacter{00B1}{\pm}
\DeclareUnicodeCharacter{00D7}{\times}

%%% Local Variables: 
%%% mode: latex
%%% TeX-master: "main"
%%% coding: utf-8
%%% End: 
